Component-based HazOp and Fault Tree Analysis in Developing Embedded Real-Time Systems with UML
نویسندگان
چکیده
Hazard and Operability (HazOp) and Fault Tree Analyses (FTA) are embedded into UML component models. The latter are constructed by employing UML's extension mechanisms in conjunction with component-based software techniques. Taking an application's safety-related requirements into consideration, the elements of HazOp and FTA are defined as component attributes, and assigned to a UML component model, which is collected in a UML profile for safety analyses and architectural design. Based on the thus enhanced architecture specification of the UML component model, it becomes possible to handle hazard analyses and to model safety mechanisms at the same time. Key-Words: Hazard analysis, software architecture, safety critical system, UML, component, modeling
منابع مشابه
Software architecture and safety
Safety critical systems are growing more complex. To keep these systems safe, methods and techniques are necessary to prevent accidents from happening. Earlier when the engineered systems were smaller and the possibility for large scale destruction was not there, we had the luxury of being in a position to learn from experience. Due to the catastrophes safety critical systems can cause today, w...
متن کاملUML Model to Fault Tree Model Transformation for Dependability Analysis
This paper proposes a model transformation to automatically generate Fault Tree models from UML software models annotated with dependability annotations. The goal is to extend the model-driven software development process with the capability of verifying some important dependability properties (such as reliability, safety) starting early in the software lifecycle, by solving the generated Fault...
متن کاملHAZOP Analysis of UML-Based Software Architecture Descriptions of Safety-Critical Systems
Safety-critical systems which are systems that may harm the environment they are operating in are commonplace. Standards and regulations for developing software for safety-critical systems usually require restricted programming languages and formal methods. For reasons of scale and for coping with the complexities of large systems it may be beneficial to use modern object-oriented techniques in...
متن کاملIntegration of Component Fault Trees into the UML
Efficient safety analyses of complex software intensive embedded systems are still a challenging task. This article illustrates how model-driven development principles can be used in safety engineering to reduce cost and effort. To this end, the article shows how well accepted safety engineering approaches can be shifted to the level of model-driven development by integrating safety models into...
متن کاملError assessment in man-machine systems using the CREAM method and human-in-the-loop fault tree analysis
Background and Objectives: Despite contribution to catastrophic accidents, human errors have been generally ignored in the design of human-machine (HM) systems and the determination of the level of automation (LOA). This paper aims to develop a method to estimate the level of automation in the early stage of the design phase considering both human and machine performance. Methods: A quantita...
متن کامل